ATL: A model transformation tool

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ATL: A model transformation tool

In the context of Model Driven Engineering, models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed, aimed at specifying model transformations. Apart from the software engineering properties of transformation languages, the availability of high quality tool support is also...

متن کامل

ATL: Eclipse Support for Model Transformation

In the context of Model Driven Engineering models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed, aimed at specifying model transformations. Apart from the software engineering properties of transformation languages the availability of high quality tool support is also o...

متن کامل

The ATL Transformation-based Model Management Framework

Developers of information systems must typically deal with different models and perform transformations between models. Model management aims at providing techniques and tools for dealing with models and model transformations in automated ways. In this paper, we present the current design of the ATL (Atlas Transformation Language) transformation-based model management framework. The key design ...

متن کامل

Flexible Model-to-Model Transformation Templates: An Application to ATL

Model transformation is one of the core techniques in ModelDriven Engineering. Many transformation languages exist nowadays, but few offer mechanisms directed to the reuse of whole transformations or transformation fragments in different contexts. Taking inspiration from generic programming, in this paper we define model transformation templates. These templates are not defined over concrete me...

متن کامل

Verification of ATL Transformations Using Transformation Models and Model Finders

In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced by a transformation from valid input models are valid, too, where validity refers to the metamodel constraints, often written in OCL. Transform...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science of Computer Programming

سال: 2008

ISSN: 0167-6423

DOI: 10.1016/j.scico.2007.08.002